Dresden

Results: 4278



#Item
201

Avoiding Timing Channels in Fixed-Priority Schedulers Marcus Völp, Claude-Joachim Hamann, Hermann Härtig Technische Universität Dresden Department of Computer ScienceDresden

Add to Reading List

Source URL: os.inf.tu-dresden.de

- Date: 2008-04-10 10:46:22
    202

    Improving Text Mining with Controlled Natural Language: A Case Study for Protein Interactions Tobias Kuhn1,2 , Lo¨ıc Royer1, Norbert E. Fuchs2 , and Michael Schroeder1 1 Biotechnological Center, TU Dresden, Germany

    Add to Reading List

    Source URL: attempto.ifi.uzh.ch

    - Date: 2013-09-23 06:46:42
      203

      PDF Document

      Add to Reading List

      Source URL: tu-dresden.de

        204

        PDF Document

        Add to Reading List

        Source URL: www.ki.inf.tu-dresden.de

        - Date: 2006-03-26 13:38:23
          205

          A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at InformatikDresden - Germany and Lutz.Strassburger@Inf.

          Add to Reading List

          Source URL: www.lix.polytechnique.fr

          - Date: 2005-12-02 04:44:23
            206

            On Structuring Proof Search for First Order Linear Logic

            Add to Reading List

            Source URL: www.ki.inf.tu-dresden.de

            - Date: 2006-03-26 13:44:51
              207

              State Capital Dresden Steuer- und Stadtkassenamt Lodging Tax Information from the Steuer- und Stadtkassenamt on the amendment to the Ordinance on 1st January 2016

              Add to Reading List

              Source URL: www.dresden.de

              - Date: 2016-01-04 07:23:58
                208

                28 JuneNon-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨

                Add to Reading List

                Source URL: www.ki.inf.tu-dresden.de

                - Date: 2005-09-20 10:33:34
                  209

                  PDF Document

                  Add to Reading List

                  Source URL: www.ki.inf.tu-dresden.de

                  - Date: 2006-03-26 13:38:52
                    210

                    Appears in the proceedings of CollaborateCom 2005, San Jose, CA, USA The Nizza Secure-System Architecture Hermann Härtig Michael Hohmuth Norman Feske

                    Add to Reading List

                    Source URL: os.inf.tu-dresden.de

                    - Date: 2005-10-19 10:10:05
                      UPDATE